# -*- mode: snippet -*-
# name: Set Universal Lemma Under Conjunction
# --
Set Universal Lemma Under Conjunction
